📐 Error Bounds

Numerical Analysis, Floating Point, Precision Guarantees, Computational Mathematics

Understanding Floating-Point Numbers
dennisforbes.ca·3h·
Discuss: Hacker News
📐Arithmetic Precision
**Master Python Numerical Methods: From Integration to Optimization for Scientific Computing**
dev.to·1d·
Discuss: DEV
📐Linear Algebra
On the Bit Size of Sum-of-Squares Proofs for Symmetric Formulations
arxiv.org·3d
🎯Performance Proofs
A New Method for Estimating P2P Network Size
eli.sohl.com·2h·
Discuss: Hacker News
📊Count-Min Sketch
Barycentric coordinates and random distribution of points
leancrew.com·12h
📊Computational Geometry
Quantum Algorithm Zoo
quantumalgorithmzoo.org·1d·
Discuss: Hacker News
⚛️Quantum Algorithms
FatNums: An Alternate Representation for School Arithmetic (2020)
parentheticallyspeaking.org·8h·
Discuss: Lobsters, Hacker News
🎯Arithmetic Coding Theory
mpaland/printf
github.com·12h
✅Format Verification
High Dimensional Optimization Remains Hard
win-vector.com·3d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Issue 489
haskellweekly.news·1d·
Discuss: Hacker News
🔗Functional Compilers
[D] Math foundations to understand Convergence proofs?
reddit.com·19h·
Discuss: r/MachineLearning
🎯Performance Proofs
Many Hard Leetcode Problems are Easy Constraint Problems
buttondown.com·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🧮Constraint Solvers
Analog Optical Computer for Inference and Combinatorial Optimization
hackaday.com·12h
🔬Optical Physics
Gauss, an Agent for Autoformalization
math.inc·18h·
Discuss: Hacker News, Hacker News
🏛️Agda
More triangle inequalities
johndcook.com·1h
🎯Interactive Provers
Defeating Nondeterminism in LLM Inference – Thinking Machines Lab
jmason.ie·22h
💻Local LLMs
Nyquist–Shannon Sampling Theorem
en.wikipedia.org·25m·
Discuss: Hacker News
🔊Audio Compression Theory
Strong convergence of a semi tamed scheme for stochastic differential algebraic equation under non-global Lipschitz coefficients
arxiv.org·10h
📐Linear Algebra
Fibonacci Funhouse: Exploring Ruby Algorithms for Fibonacci Numbers
rorvswild.com·2d·
Discuss: Hacker News
📐Interval Arithmetic
How to calibrate a large-scale agent-based model?
mcrcsm.substack.com·1d·
Discuss: Substack
🧮Kolmogorov Bounds